Preserving algebraic invariants with Runge–Kutta methods
نویسندگان
چکیده
منابع مشابه
Preserving Algebraic Invariants with Runge{kutta Methods
We study Runge{Kutta methods for the integration of ordinary diierential equations and their retention of algebraic invariants. As a general rule, we derive two conditions for the retention of such invariants. The rst is a condition on the co-eecients of the methods, the second is a pair of partial diierential equations that otherwise must be obeyed by the invariant. The cases related to the re...
متن کاملEffective order strong stability preserving RungeKutta methods
We apply the concept of effective order to strong stability preserving (SSP) explicit Runge–Kutta methods. Relative to classical Runge–Kutta methods, effective order methods are designed to satisfy a relaxed set of order conditions, but yield higher order accuracy when composed with special starting and stopping methods. The relaxed order conditions allow for greater freedom in the design of ef...
متن کاملLinear Maps Preserving Invariants
Let G ⊂ GL(V ) be a complex reductive group. Let G denote {φ ∈ GL(V ) | p◦φ = p for all p ∈ C[V ]}. We show that, in general, G = G. In case G is the adjoint group of a simple Lie algebra g, we show that G is an order 2 extension of G. We also calculate G for all representations of SL2.
متن کاملASM Refinement Preserving Invariants
This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal verification of the refinements of the Mondex case study with the interactive theorem prover KIV. The refinement definition we give differs from the one we gave in earlier work which preserves partial and total correctne...
متن کاملIsomorphisms Preserving Invariants
Let V and W be finite dimensional real vector spaces and let G ⊂ GL(V ) and H ⊂ GL(W ) be finite subgroups. Assume for simplicity that the actions contain no reflections. Let Y and Z denote the real algebraic varieties corresponding to R[V ] and R[W ] , respectively. If V and W are quasi-isomorphic, i.e., if there is a linear isomorphism L : V → W such that L sends G-orbits to H-orbits and L se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computational and Applied Mathematics
سال: 2000
ISSN: 0377-0427
DOI: 10.1016/s0377-0427(00)00459-3